home *** CD-ROM | disk | FTP | other *** search
- # LaTeX2HTML 2022 (Released January 1, 2022)
- # Associate internals original text with physical files.
-
-
- $key = q/PF.keys/;
- $ref_files{$key} = "$dir".q|node7_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/clglv/;
- $ref_files{$key} = "$dir".q|node14_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/clglv-t/;
- $ref_files{$key} = "$dir".q|node15_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/gg.addr/;
- $ref_files{$key} = "$dir".q|node16_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/run.cl1/;
- $ref_files{$key} = "$dir".q|node6_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/supported.items/;
- $ref_files{$key} = "$dir".q|node12_ct.html|;
- $noresave{$key} = "$nosave";
-
- 1;
-
-